<?php


    class System {
		//PrintStream
			public static    $out;
	}